4

Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories

Year:
2014
Language:
english
File:
PDF, 357 KB
english, 2014
7

ON A QUESTION OF KRAJEWSKI’S

Year:
2019
Language:
english
File:
PDF, 224 KB
english, 2019
8

Modal Logic and Self-Reference.

Year:
1989
Language:
english
File:
PDF, 105 KB
english, 1989
11

Dynamic Negation, the One and Only

Year:
1999
Language:
english
File:
PDF, 34 KB
english, 1999
17

A Tractarian Universe

Year:
2012
Language:
english
File:
PDF, 505 KB
english, 2012
18

On the ambiguation of Polish notation

Year:
2011
Language:
english
File:
PDF, 260 KB
english, 2011
19

VAUGHT'S THEOREM ON AXIOMATIZABILITY BY A SCHEME

Year:
2012
Language:
english
File:
PDF, 1.40 MB
english, 2012
24

Provability Logic || Explicit Fixed Points in Interpretability Logic

Year:
1991
Language:
english
File:
PDF, 1.00 MB
english, 1991
26

Lewis meets Brouwer: Constructive strict implication

Year:
2017
Language:
english
File:
PDF, 1.55 MB
english, 2017
28

OnQ

Year:
2017
Language:
english
File:
PDF, 595 KB
english, 2017
30

ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM

Year:
2019
Language:
english
File:
PDF, 718 KB
english, 2019
44

On the completenes principle: A study of provability in heyting's arithmetic and extensions

Year:
1982
Language:
english
File:
PDF, 1.23 MB
english, 1982
46

No Escape from Vardanyan's theorem

Year:
2006
Language:
english
File:
PDF, 225 KB
english, 2006
48

HUME’S PRINCIPLE, BEGINNINGS

Year:
2011
Language:
english
File:
PDF, 146 KB
english, 2011